<html>
<head><meta charset="utf-8"><title>P-high regression #59326 Type mismatching cased by duplicate · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-high.20regression.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.html">P-high regression #59326 Type mismatching cased by duplicate</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="201191323"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-high%20regression%20%2359326%20Type%20mismatching%20cased%20by%20duplicate/near/201191323" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-high.20regression.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.html#201191323">(Jun 17 2020 at 19:48)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/59326">#59326</a> has been assigned <code>P-high</code> and is a regression.</p>



<a name="201191377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-high%20regression%20%2359326%20Type%20mismatching%20cased%20by%20duplicate/near/201191377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-high.20regression.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.html#201191377">(Jun 17 2020 at 19:49)</a>:</h4>
<p>I don't remember anymore why this topic is created :)</p>



<a name="201191578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-high%20regression%20%2359326%20Type%20mismatching%20cased%20by%20duplicate/near/201191578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-high.20regression.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.html#201191578">(Jun 17 2020 at 19:51)</a>:</h4>
<p>P-high regression <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="201191660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-high%20regression%20%2359326%20Type%20mismatching%20cased%20by%20duplicate/near/201191660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-high.20regression.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.html#201191660">(Jun 17 2020 at 19:51)</a>:</h4>
<p>I think you included it in the list of things you wanted Zulip pings for</p>



<a name="201191709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-high%20regression%20%2359326%20Type%20mismatching%20cased%20by%20duplicate/near/201191709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-high.20regression.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.html#201191709">(Jun 17 2020 at 19:52)</a>:</h4>
<p>ahh right</p>



<a name="201191727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-high%20regression%20%2359326%20Type%20mismatching%20cased%20by%20duplicate/near/201191727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-high.20regression.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.html#201191727">(Jun 17 2020 at 19:52)</a>:</h4>
<p>I was wondering now if we need all regressions or just beta/nightly ones</p>



<a name="201191748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-high%20regression%20%2359326%20Type%20mismatching%20cased%20by%20duplicate/near/201191748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-high.20regression.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.html#201191748">(Jun 17 2020 at 19:52)</a>:</h4>
<p>yeah, we want beta/nightly ones and not stable ones</p>



<a name="201191754"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-high%20regression%20%2359326%20Type%20mismatching%20cased%20by%20duplicate/near/201191754" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-high.20regression.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.html#201191754">(Jun 17 2020 at 19:52)</a>:</h4>
<p>Tweaking this is as simple as editing the <code>triagebot.toml</code> file though</p>



<a name="201191768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-high%20regression%20%2359326%20Type%20mismatching%20cased%20by%20duplicate/near/201191768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-high.20regression.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.html#201191768">(Jun 17 2020 at 19:52)</a>:</h4>
<p>Got it</p>



<a name="201192032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-high%20regression%20%2359326%20Type%20mismatching%20cased%20by%20duplicate/near/201192032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-high.20regression.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.html#201192032">(Jun 17 2020 at 19:55)</a>:</h4>
<p>Mhh, nevermind, I implemented it in a "AND" logic fashion</p>



<a name="201192059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-high%20regression%20%2359326%20Type%20mismatching%20cased%20by%20duplicate/near/201192059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-high.20regression.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.html#201192059">(Jun 17 2020 at 19:55)</a>:</h4>
<p>I mean, all labels are required for the ping to occur</p>



<a name="201192120"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-high%20regression%20%2359326%20Type%20mismatching%20cased%20by%20duplicate/near/201192120" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-high.20regression.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.html#201192120">(Jun 17 2020 at 19:56)</a>:</h4>
<p>So I can't just pass both nightly and beta regressions</p>



<a name="201192178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-high%20regression%20%2359326%20Type%20mismatching%20cased%20by%20duplicate/near/201192178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-high.20regression.20.2359326.20Type.20mismatching.20cased.20by.20duplicate.html#201192178">(Jun 17 2020 at 19:56)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/59326">#59326</a> has been assigned <code>P-high</code> and is a regression.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>